<?php

interface PipesImpl_Route 
{
	public function __get($key);
	public function __isset($key);
}
